DICE API Documentation/com.embabel.dice.proposition

Package-level declarations

Types

abstract class DecayManager(repository: PropositionRepository) : DecaySweeper

Storage-agnostic DecaySweeper over a PropositionRepository, plus an optional hook to materialise decayed confidence where a backend can cache it.

DecaySweepConfig

data class DecaySweepConfig constructor(val policy: StatusTransitionPolicy = DecayStatusPolicy(), val targetStatuses: Set<PropositionStatus> = setOf(PropositionStatus.ACTIVE), val pruneStale: Boolean = false)

Configuration for a DecaySweeper run.

DecaySweeper

interface DecaySweeper

Evaluates propositions for lifecycle transitions and applies them according to a StatusTransitionPolicy.

DecaySweepResult

sealed class DecaySweepResult

Result of a DecaySweeper run.

Derivation

interface Derivation

Represents something derived from sources with associated uncertainty.

EntityMention

data class EntityMention(val span: String, val type: String, val resolvedId: String? = null, val role: MentionRole = MentionRole.OTHER, val hints: Map<String, Any> = emptyMap())

A reference to an entity within a proposition.

EventEmittingProjector

class EventEmittingProjector<T : Projection>(delegate: Projector<T>, listener: DiceEventListener = DiceEventListener.DEV_NULL) : Projector<T>

Decorator that emits a ProjectionBatchCompleted event after every projectAll call.

EventEmittingPropositionRepository

open class EventEmittingPropositionRepository<D : PropositionRepository>(delegate: D, listener: DiceEventListener = DiceEventListener.DEV_NULL) : PropositionRepository

Decorator that emits lifecycle events at the persistence boundary.

GraphQueryCapable

interface GraphQueryCapable

Opt-in capability for querying the entity-relationship axis of the knowledge graph: neighbourhoods, paths between entities, and the provenance lineage behind a single proposition.

GraphTraversalCapable

interface GraphTraversalCapable

Opt-in capability for navigating the proposition abstraction hierarchy — finding source propositions and the abstractions derived from them.

MentionKey

data class MentionKey(val span: String, val type: String)

Utility class to track the mapping from mentions to their SuggestedEntity representations. Used internally to coordinate between extraction and resolution.

MentionRole

enum MentionRole : Enum<MentionRole>

The role an entity mention plays in a proposition.

Projection

interface Projection : Derivation

Marker interface for types derived from propositions (graph relationships, Prolog facts, etc.). Carries confidence, decay, and grounding inherited from Derivation, plus a link back to the source propositions.

ProjectionFailed

data class ProjectionFailed<T : Projection>(val proposition: Proposition, val reason: String, val structuredReason: ProjectionFailureReason? = null) : ProjectionResult<T>

Proposition couldn't be projected due to an error or incompatibility.

ProjectionFailureReason

sealed interface ProjectionFailureReason

Why a proposition could not be projected (or was skipped). Use describe for a human-readable summary, or branch on the concrete subtype to react programmatically without parsing text.

ProjectionResult

sealed interface ProjectionResult<out T : Projection>

The outcome of attempting to project a single proposition.

ProjectionResults

data class ProjectionResults<T : Projection>(val results: List<ProjectionResult<T>>)

Aggregated results from projecting multiple propositions.

ProjectionSkipped

data class ProjectionSkipped<T : Projection>(val proposition: Proposition, val reason: String, val structuredReason: ProjectionFailureReason? = null) : ProjectionResult<T>

Proposition was skipped because it didn't meet projection criteria.

ProjectionSuccess

data class ProjectionSuccess<T : Projection>(val proposition: Proposition, val projected: T) : ProjectionResult<T>

Proposition was successfully projected.

Projector

interface Projector<T : Projection>

Transforms propositions into a typed target representation (graph, Prolog, memory context, etc.).

Proposition

data class Proposition(val id: String = UUID.randomUUID().toString(), val contextId: <Error class: unknown class>, val text: String, val mentions: List<EntityMention>, val confidence: <Error class: unknown class>, val decay: <Error class: unknown class> = 0.0, val importance: <Error class: unknown class> = 0.5, val reasoning: String? = null, val grounding: List<String> = emptyList(), val created: Instant = Instant.now(), val contentRevised: Instant = Instant.now(), val metadataRevised: Instant = Instant.now(), val pinned: Boolean = false, val lastAccessed: Instant = contentRevised, val status: PropositionStatus = PropositionStatus.ACTIVE, val level: Int = 0, val sourceIds: List<String> = emptyList(), val reinforceCount: Int = 0, val metadata: Map<String, Any> = emptyMap(), val uri: String? = null, val temporal: TemporalMetadata? = null, val provenanceEntries: List<ProvenanceEntry> = emptyList()) : Derivation, ReferencesEntities

A proposition is a natural language statement with typed entity mentions. Propositions are the system of record - all other representations (Neo4j relationships, Prolog facts, vector embeddings) derive from them.

PropositionExtractor

interface PropositionExtractor

Extracts propositions from text chunks. This is the entry point for the proposition-based ingestion pipeline.

PropositionPersistenceResult

class PropositionPersistenceResult

What a batch of propositions actually landed on: which stored proposition each one you handed in became.

PropositionQuery

data class PropositionQuery(val contextId: <Error class: unknown class>? = null, val entityId: String? = null, val anyEntityIds: List<String>? = null, val allEntityIds: List<String>? = null, val statuses: Set<PropositionStatus>? = null, val minLevel: Int? = null, val maxLevel: Int? = null, val createdAfter: Instant? = null, val createdBefore: Instant? = null, val revisedAfter: Instant? = null, val revisedBefore: Instant? = null, val accessedAfter: Instant? = null, val accessedBefore: Instant? = null, val minConfidence: Double? = null, val minEffectiveConfidence: Double? = null, val effectiveConfidenceAsOf: Instant? = null, val decayK: Double = 2.0, val minImportance: Double? = null, val minReinforceCount: Int? = null, val minTrustScore: Double? = null, val pinned: Boolean? = null, val orderBy: PropositionQuery.OrderBy = OrderBy.NONE, val limit: Int? = null, val belowEffectiveConfidence: Double? = null)

Composable query specification for propositions.

PropositionRepository

interface PropositionRepository : PropositionStore, VectorSearchCapable, GraphTraversalCapable, TemporalQueryCapable

The full proposition repository: combines the base persistence port with every opt-in capability (vector similarity, abstraction-hierarchy traversal, temporal queries) and bridges to the RAG search contract via CoreSearchOperations.

PropositionStatus

enum PropositionStatus : Enum<PropositionStatus>

The lifecycle status of a proposition.

PropositionStore

interface PropositionStore

Base persistence port for propositions: CRUD, identity lookups, and the composable query.

PropositionStoreTemplate

class PropositionStoreTemplate(store: PropositionStore)

Portable boundary that lets domain code program against a PropositionStore and reach for the optional vector and graph capabilities without first knowing whether the backing store honours them.

PropositionStoreType

enum PropositionStoreType : Enum<PropositionStoreType>

Which backend provides a PropositionRepository, for selecting/flipping implementations.

ProvenanceScanningSourceRevisionQueries

interface ProvenanceScanningSourceRevisionQueries : SourceRevisionQueryCapable, PropositionStore

The three source-revision finders answered by reading the context and filtering loaded provenance in memory.

ProvenanceSubtractingEventEmittingPropositionRepository

class ProvenanceSubtractingEventEmittingPropositionRepository<D : PropositionRepository, ProvenanceSubtractionCapable>(delegate: D, listener: DiceEventListener = DiceEventListener.DEV_NULL) : EventEmittingPropositionRepository<D> , ProvenanceSubtractionCapable

The event-emitting decorator, over a delegate that can subtract provenance atomically.

ProvenanceSubtractionCapable

interface ProvenanceSubtractionCapable

Opt-in capability for taking named evidence off a proposition in one atomic step.

ReferencesEntities

interface ReferencesEntities

Common interface for anything that references entities via mentions. Propositions, projected relationships, and other constructs can implement this to provide consistent entity access.

RelationshipTypes

object RelationshipTypes

Relationship types for DICE graph schema.

SourceRevisionEventEmittingPropositionRepository

class SourceRevisionEventEmittingPropositionRepository<D : PropositionRepository, ProvenanceSubtractionCapable, SourceRevisionQueryCapable>(delegate: D, listener: DiceEventListener = DiceEventListener.DEV_NULL) : EventEmittingPropositionRepository<D> , SourceRevisionQueryCapable, ProvenanceSubtractionCapable

The event-emitting decorator, over a delegate that answers both source-revision queries and provenance subtraction.

SourceRevisionQueryCapable

interface SourceRevisionQueryCapable

Opt-in capability for asking which propositions were read from a source, and from which revision of that source.

SuggestedMention

data class SuggestedMention(val span: String, val type: String, val suggestedId: String? = null, val role: String = "OTHER")

A mention suggested by the LLM during proposition extraction. Lighter weight than EntityMention - contains only what the LLM provides.

SuggestedProposition

data class SuggestedProposition(val text: String, val mentions: List<SuggestedMention> = emptyList(), val confidence: <Error class: unknown class>, val decay: <Error class: unknown class> = 0.0, val importance: <Error class: unknown class> = 0.5, val reasoning: String = "", val grounding: List<String> = emptyList(), val source: String = "propose_facts") : Suggestion

A proposition suggested by the LLM from chunk analysis. This is the output type from the propose_facts prompt.

SuggestedPropositions

data class SuggestedPropositions(val chunkId: String, val propositions: List<SuggestedProposition>)

Container for propositions suggested from a single chunk.

Suggestion

interface Suggestion : Derivation

Open carrier for an LLM- or extractor-emitted hint that something should be persisted. Concrete subtypes decide what — entities (com.embabel.dice.common.SuggestedEntity), propositions (SuggestedProposition), or app-domain facts shipped by downstream modules (e.g. SuggestedBiller).

SuggestionHandler

interface SuggestionHandler<T : Suggestion>

Handler for one concrete Suggestion subtype. Multiple handlers may register for the same type — for example a SuggestedBiller could be processed by both an entity-promoter (writing the Org to the KG) and a biller-index writer.

TemporalQueryCapable

interface TemporalQueryCapable

Opt-in capability for time-window and effective-confidence queries over propositions.

VectorSearchCapable

interface VectorSearchCapable

Opt-in capability for proposition stores that support vector similarity search and clustering.